indexing "Hello World in Eiffel , from http://roesler-ac.de/wolfram/hello.htm#Eiffel"

class HELLO

creation
	run

feature

	run is
		local
			io : BASIC_IO;
		do
			!!io;
			io.put_string("Hello World");
			io.put_newline
		end; -- run
end; -- class HELLO